A Critical Remark on the BHK Interpretation of Implication
نویسندگان
چکیده
The BHK interpretation of logical constants is analyzed in terms of a systematic account given by Prawitz, resulting in a reformulation of the BHK interpretation in which the assertability of atomic propositions is determined by Post systems. It is shown that the reformulated BHK interpretation renders more propositions assertable than are provable in intuitionistic propositional logic. Mints’ law is examined as an example of such a proposition. Intuitionistic propositional logic would thus have to be considered incomplete. We conclude with a discussion on the adequacy of the BHK interpretation of implication.
منابع مشابه
Immunogenicity of BHK-Rabies Vaccine in Cattle
In this study, the immunogenicity of a rabies vaccine that was used in one of the Isfahan cattle farms is reported. This vaccine was produced by replication of the Pasteur virus (PV) strain on BHK-21 monolayer cell culture. The virus suspension was inactivated by ß-propiolactone treatment and the harvested pool showed sterility and safety. Thus, the obtained vaccine was tested on mice and a sat...
متن کاملHistorical Analyzing of Reconceptualism: implication and intentions related to it in Curriculum Field
This paper conducts a historical analysis of the meaning and aims Reconceptualism in viewpoint of Pinar et al, including methodology and critics related to it in curriculum field from 1960s to 2010s. For this means, 25 papers and 4 books of Pinar et al were studied by methods of document and textual analysis through an analytical-critical approach. Critiques of Wraga and Hlebowitsh as alternat...
متن کاملA critical view on a paper
The paper delth with the effect of presuppositions and theological foundations in perceiving the meaning of Quranic verses, proving the theological tendency in exegeses, using three exegeses including Tebyan, Kashshaf and Kabir as the deputies for Shiites, Mu’tazelites and Asharites respectively and focusing on the theological problem of sighting God, the exalted, referred to in the verse 14...
متن کاملA remark on boundedness of composition operators between weighted spaces of holomorphic functions on the upper half-plane
In this paper, we obtain a sucient condition for boundedness of composition operators betweenweighted spaces of holomorphic functions on the upper half-plane whenever our weights are standardanalytic weights, but they don't necessarily satisfy any growth condition.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017